exception Sys_exit of int